منابع مشابه
Imaginaries in Beautiful Pairs I
We prove that if T = T eq is a stable theory (without the finite cover property), then the theory TP of “beautiful pairs” eliminates imaginaries if and only if no infinite group is definable in a model of T .
متن کاملImaginaries in pairs of algebraically closed fields
We consider the theory (ACFp)P of pairs F < K of algebraically closed fields of a given characteristic p. We exhibit a collection of additional sorts in which this theory has geometric elimination of imaginaries. The sorts are essentially of the form ∪a∈B(F )Va(K)/Ga(F ), where G, V,B are varieties over the prime field G a group scheme over B and V is a scheme over B (both with irreducible fibr...
متن کاملImaginaries in Hilbert spaces
We characterise imaginaries (up to interdefinability) in Hilbert spaces using a Galois theory for compact unitary groups.
متن کاملImaginaries in Boolean algebras
Given an infinite Boolean algebra B, we find a natural class of ∅-definable equivalence relations EB such that every imaginary element from B is interdefinable with an element from a sort determined by some equivalence relation from EB . It follows that B together with the family of sorts determined by EB admits elimination of imaginaries in a suitable multisorted language. The paper generalize...
متن کاملOn Finite Imaginaries
We study finite imaginaries in certain valued fields, and prove a conjecture of Cluckers and Denef.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Illinois Journal of Mathematics
سال: 2004
ISSN: 0019-2082
DOI: 10.1215/ijm/1258131051